home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / a_utils / decomp.lha / decomp / READMETHREE < prev    next >
Text File  |  1989-10-03  |  5KB  |  159 lines
  1.  
  2. Return-Path: reuter%cookie.DEC@decwrl.dec.com
  3. Received: by june.cs.washington.edu (5.52.1/6.11)
  4.     id AA11965; Thu, 14 Jan 88 08:33:32 PST
  5. Received: by decwrl.dec.com (5.54.4/4.7.34)
  6.     id AA21398; Thu, 14 Jan 88 08:33:06 PST
  7. Date: Thu, 14 Jan 88 08:33:06 PST
  8. Message-Id: <8801141633.AA21398@decwrl.dec.com>
  9. From: reuter%cookie.DEC@decwrl.dec.com (Chocolate helps prevent cavities!)
  10. To: pardo@june.cs.washington.edu
  11. Subject: decomp fixes
  12.  
  13. Goodness.  Believe it or not, I never tried decompiling a linked
  14. C program.  I only worked with object modules.
  15.  
  16. The problem is that the decompiler does not recognize the "exit" system
  17. call as a basic block terminator.  This would have been just fine if
  18. the exception handling cases had been written correctly, but they
  19. weren't.  Here are the fixes to the exception code, supplied as
  20. "diff -c" output for the modules "blocks.c" and "nodes.c".
  21.  
  22.     Jim
  23.  
  24. *** blocks.c.old    Wed Jan 13 12:40:46 1988
  25. --- blocks.c    Wed Jan 13 12:43:37 1988
  26. ***************
  27. *** 14,19
  28.   #include "objfile.h"
  29.   #include "vartab.h"
  30.   #include "nodes.h"
  31.   
  32.   static int op_argval[6];
  33.   
  34.  
  35. --- 14,20 -----
  36.   #include "objfile.h"
  37.   #include "vartab.h"
  38.   #include "nodes.h"
  39. + #include <setjmp.h>
  40.   
  41. + extern jmp_buf badbranch;
  42. + 
  43.   static int op_argval[6];
  44.   
  45. ***************
  46. *** 294,300
  47.       }
  48.       }
  49.       /* no more code in function */
  50. !     if ( cur_address > node_entry )
  51.       fprintf( stderr, "Dangling function end\n" );
  52.   }
  53.   
  54.  
  55. --- 297,303 -----
  56.       }
  57.       }
  58.       /* no more code in function */
  59. !     if ( cur_address > node_entry ) {
  60.       fprintf( stderr, "Dangling function end\n" );
  61. +      longjmp( badbranch, 1 );
  62. +     }
  63.   }
  64.  
  65.  
  66.  
  67. *** nodes.c.old    Wed Jan 13 12:41:03 1988
  68. --- nodes.c    Wed Jan 13 12:35:59 1988
  69. ***************
  70. *** 79,84
  71.       register struct node *n;
  72.       register int i, j;
  73.   
  74.       node_max = node_count * 4;
  75.       node_array = (struct node **) malloc( node_max * sizeof( struct node * ) );
  76.       if ( node_array == NULL ) {
  77.  
  78. --- 79,89 -----
  79.       register struct node *n;
  80.       register int i, j;
  81.   
  82. +     if ( node_count <= 0 ) {
  83. +     fprintf( stderr, "Bad node_count in array_nodes()\n" );
  84. +     longjmp( badbranch, 1 );
  85. +     }
  86. + 
  87.       node_max = node_count * 4;
  88.       node_array = (struct node **) malloc( node_max * sizeof( struct node * ) );
  89.       if ( node_array == NULL ) {
  90.  
  91.  
  92.  
  93.  
  94. Return-Path: ucsd!spsd!felix!art@beaver
  95. Received: from beaver.cs.washington.edu by june.cs.washington.edu (5.61/7.0j)
  96.     id AA22653; Mon, 2 Oct 89 12:27:47 -0700
  97. Received: by beaver.cs.washington.edu (5.61/7.0)
  98.     id AA19694; Mon, 2 Oct 89 12:27:37 -0700
  99. Received: from spsd.UUCP by ucsd.edu; id AA26715
  100.     sendmail 5.61/UCSD-2.0-sun via UUCP
  101.     Mon, 2 Oct 89 11:45:39 -0700 for june.cs.washington.edu!pardo
  102. Received: by spsd.CEO.DG.COM (smail2.5)
  103.     id AA21848; 30 Sep 89 11:49:07 PDT (Sat)
  104. Received: from fritz.UUCP (fritz.ARPA) by felix.UUCP (4.12/5.17)
  105.     id AA22718; Sat, 30 Sep 89 07:27:59 pdt
  106. Received: by fritz.UUCP (1.2/5.17)
  107.     id AA03974; Sat, 30 Sep 89 07:26:42 pdt
  108. From: ucsd!felix!art@beaver (Art Dederick)
  109. Message-Id: <8909301426.AA03974@fritz.UUCP>
  110. To: spsd!ucsd!uw-beaver!june.cs.washington.edu!pardo@beaver
  111. Subject: Re: decomp, #2
  112. Date: Sat, 30 Sep 89 07:26:41 PDT
  113.  
  114. Second try on this message, not sure you got the first attempt.
  115. Send me an ACK if you get either message.  Thanks.
  116.  
  117. Found the segmentation bug.  I was very stupid and didn't save the
  118. original code so I can't make diffs, sorry about that.  The fix was
  119. easy, just add the following code to the beginning of free_nodes():
  120.  
  121.     if (node_count && node_array == NULL) {
  122.     fprintf(stderr, "free_nodes: node_count > 0 && node_array == NULL\n");
  123.         return;
  124.     }
  125.  
  126. I don't know why the node count would be non-zero but the node array
  127. by empty.  You could probably explain it (hint hint :-).
  128.  
  129. In addition, I added code to remove .o file usage from an a.out file.
  130. I kept getting function names like foo.o() instead of main().  Add the
  131. following code to decomp():
  132.  
  133.     for (i = 0; i < nsym / sizeof(struct nlist); i++) {
  134.     if ( ((symtab+i)->n_type & ~1) == 4 ) {
  135. |        char *p, *rindex();
  136. |
  137. |        p = rindex(&strtab[(symtab+i)->n_un.n_strx], 'o');
  138. |        if (!p || p[-1] != '.')
  139.         glb_add( (symtab+i)->n_value, i, 1 - ((symtab+i)->n_type & 1) );
  140.     }
  141.     }
  142.  
  143. This code will skip all entries in the symbol table that have a ".o"
  144. suffix.
  145.  
  146. Another area I am currently trying to improve is function calling
  147. labels when decompiling a.out files.  Currently only when a .o file is
  148. decompiled will references to functions use the name of the function.
  149. What I am attempting to do is search for the functions address in the
  150. symbol table when a call is made and use the name instead of the
  151. 'Gnnnn' label.  So far I'm stumped.
  152.  
  153.        __              __
  154.       /  )    _/_     /  )      /             /
  155.      /--/ __  /      /  / _  __/ _  __  o _. /_ 
  156.     /  (_/ (_<__    /__/_</_(_/_</_/ (_<_(__/ <_
  157.  
  158.     felix!art    (714)966-3618
  159.